LIR WINTER 2019 179 SAT by Jakub Dolezal