initial solver with an example puzzle