solver: classic