9.88/10.72	unsat
