9.47/10.36	unsat
