50.14/52.31	unsat
