LIR WINTER 2019 246 SAT by Jakub Dolezal