LIR WINTER 2019 285 SAT by Jakub Dolezal