Complete initial mvp of solver logic. Commit to pair debug.