solve-1.3: Solving simple games