8.07/8.82	unsat
