6.98/9.80	unsat
