status = 0 AND s9 = s8 AND s8 = s7 AND s7 <> s6 AND s9 = s8 AND s8 = s7 AND s7 <> s6 AND s0 = 0 AND s1 = 3 AND s9 = s8 AND s8 = s7 AND s7 <> s6 AND s9 NOT IN(4,7) AND s8 NOT IN(4,7) AND s7 NOT IN(4,7) AND s6 NOT IN(4,7) AND s5 NOT IN(4,7) AND s4 NOT IN(4,7) AND s3 NOT IN(4,7) AND s2 NOT IN(4,7) AND s1 NOT IN(4,7) AND s9 = s8 AND s8 = s7 AND s7 <> s6 AND s9 = 5 AND s8 = 5 AND s7 = 5 AND s6 = 2