9.37/10.50	unsat
