9.27/10.50	unsat
