9.68/10.37	unsat
