52.59/52.80	unsat
