0.49/1.04	unsat
