Today I am in a factory and machines are not on! Lets help them!
Implementation Notes
For Part 1, we’ll just brute-force over the possible choices of buttons. In part 2, i have to optimize solving a equation
with some constraints, z3 to rescue :)
# to press.