8.57/9.73	unsat
