7.57/9.93	unsat
