6.98/7.04	unsat
