LIR WINTER 2019 200 SAT by Jakub Dolezal