Solve Dawkins' Weasel