LIR WINTER 2019 261 SAT by Jakub Dolezal