LIR WINTER 2019 205 SAT by Jakub Dolezal