[judge2020]

To add, i'm not so confident in future usability given it's python 2[0].

0: https://github.com/presslabs/z3/issues/38