9.94/10.34	unsat
