LIR WINTER 2019 185 SAT by Jakub Dolezal