LIR WINTER 2019 276 SAT by Jakub Dolezal