FSM wins
0.17478394508362