50.07/52.59	unsat
