6.07/9.82	unsat
