8.51/10.37	unsat
