Automatically solving Simon Tatham's Flip puzzle