SAT
0 0 0 0 40 20 10
0 0 20 0 40 30 10
0 0 30 0 40 40 20
0 0 0 10 40 30 20