LIR WINTER 2019 287 SAT by Jakub Dolezal