LIR WINTER 2019 238 SAT by Jakub Dolezal