LIR WINTER 2019 289 SAT by Jakub Dolezal