50.29/51.05	unsat
