8.07/10.58	unsat
