Post #1446417

@piko @blinry I first solved part 2 with a recursive algorithm. After some optimisations it found the solution in 16min (Rust). Then I learned about Z3, which a lot of people used, which actually was quite interesting. This solution solves part 2 in less than a second, of course.