LIR WINTER 2019 189 SAT by Jakub Dolezal