I would also add a step 1.5: write down the wrong solution.
Too often I find myself wondering about what later turns out to be the most trivial part of the problem. The best antidote is to write a naive half-solution to "throw away"; yes, it may be unusably bad, but now I know what sub-problem is worth thinking about when I'm away from the computer.