9.88/10.23	unsat
