18:21 for the future:

implement a SAT solver to learn how it works try to incorporate elements of that paper which is super cool check out https://github.com/max-heller/sat for a brief student implementation! https://github.com/theseus-os/Theseus this looks very interesting as well - shifting responsibility to the programming language from the OS! figure out what this is! https://github.com/BillHallahan/G2