9.52/10.50	unsat
