8.51/9.83	unsat
