LIR WINTER 2019 288 SAT by Jakub Dolezal