LIR WINTER 2019 191 SAT by Jakub Dolezal