LIR WINTER 2019 275 SAT by Jakub Dolezal