9.57/9.82	unsat
