9.47/10.12	unsat
