52.08/55.30	unsat
