5.88/9.12	unsat
