Design a clocked synchronous state machine with one input x, and two inputs UNLK and HINT. The UNLK output should be 1 if and only if x is 0 and the sequence of inputs received on x at the preceding seven clock ticks was 0110111. The HINT output should be 1 if and only if the current value of x is the correct one to move the machine closer to being in the "unlocked' state. (with UNLK = 1) (use D-FF)