LIR WINTER 2019 265 SAT by Jakub Dolezal