2.49/2.60	unsat
