State transition of a puzzle