Update sokoban_solver_MCBA.c