6.97/7.04	unsat
