52.88/55.58	unsat
