one turn of solvePTG on example