1.00/3.04	unsat
