status = 0 AND AND AND s0 = 0 AND s1 = 9 AND s9 = 4 AND s8 = 4 AND s7 = 4 AND s6 = 0 AND s5 = 3
status = 0 AND s0 = 2 AND s9 = 2 AND s8 = 8 AND s7 = 7 AND s6 = 9 AND s5 = 8
status = 0 AND AND AND s0 = 0 AND s1 = 5 AND s9 = 8 AND s8 = 4 AND s7 = 8 AND s6 = 9 AND s5 = 1
status = 0 AND AND AND s0 = 0 AND s1 = 7 AND s9 = 7 AND s8 = 8 AND s7 = 8 AND s6 = 5 AND s5 = 6
status = 0 AND AND AND s0 = 0 AND s1 = 5 AND s9 = 7 AND s8 = 0 AND s7 = 0 AND s6 = 2 AND s5 = 9