Area Trade Off

A finite state machine (FSM) controlling a memory arbiter requires exactly 12 unique states. The initial RTL uses one-hot encoding, but the synthesis tool is instructed to re-synthesize using minimal binary encoding to save sequential area. How many flip-flops are physically eliminated from the design by making this encoding switch?