8.21/9.83	unsat
