6.96/7.04	unsat
