9.88/12.90	unsat
