LIR WINTER 2019 188 SAT by Jakub Dolezal