solve-1.2: Solving simple games