8.88/10.12	unsat
