8.71/9.88	unsat
