Из полного бака ёмкостью 13 литров надо отлить7 литров яблочного сока, пользуясь двумя банками ёмкостью 4 литров и 9 литров. Как это сделать?

13л бак  |   9л б.   |   4л б.
----------------------------------
     4       |     9      |      -
     4       |     5      |      4
     8       |     5      |      -
     8       |     1      |      4
     12     |     1      |      - 
     12     |     -       |      1
     3       |     9      |      1
     3       |     6       |     4
     7       |     6       |      -