8.68/8.83	unsat
