9.61/10.87	unsat
