Stan4: A Hybrid Planning Strategy Based on Subproblem Abstraction