## Description

I created a program for an unsolveable equation system. My friend somehow forced it to solve the equations. Can you tell me how he did it?

## Exploit

This challenge asks us to solve the following equations.

Solve the following equations: |

Obviously, the solution exists only if the integer overflow exists. I use Z3 to solve this problem.

1 | `from z3 import Solver, BitVec` |

$ python solve.py |

Flag:

`IW{Y4Y_0verfl0w}`