Use binary search to recover input to `sin()` and then some modular arithmetic to get back the integer.

Original writeup (https://github.com/perfectblue/ctf-writeups/tree/master/2020/tsgctf-2020/sweet).