1.49/3.04	unsat
