LIR WINTER 2019 263 SAT by Jakub Dolezal