9.63/9.73	unsat
