49.39/50.05	unsat
