LIR WINTER 2019 198 SAT by Jakub Dolezal