9.37/10.07	unsat
