0.49/0.60	unsat
