0.49/0.62	unsat
