9.43/9.73	unsat
