5.00/7.04	unsat
