9.28/9.73	unsat
