50.59/52.79	unsat
