52.59/55.26	unsat
