FSM wins
0.072448968887329