52.50/55.66	unsat
