Abductive Symbolic Solver on Abstraction and Reasoning Corpus