9.07/12.82	unsat
