52.57/55.14	unsat
