6.98/7.91	unsat
