x := 6  y := 5
x := 5  y := 3
x := 4  y := 5
x := 6  y := 5
x := 2  y := 5
x := 5  y := 1
