LIR WINTER 2019 272 SAT by Jakub Dolezal