Use FallbackSolver