LIR WINTER 2019 277 SAT by Jakub Dolezal