1.00/1.04	unsat
