6.98/7.83	unsat
