LIR WINTER 2019 220 SAT by Jakub Dolezal