LIR WINTER 2019 211 SAT by Jakub Dolezal