8.82/10.58	unsat
