slop/2026-02-16-solver-opus/src/solver