50.35/52.41	unsat
