50.69/52.05	unsat
