9.57/9.72	unsat
