50.25/52.92	unsat
