LIR WINTER 2019 221 SAT by Jakub Dolezal