7.00/7.04	unsat
