LIR WINTER 2019 213 SAT by Jakub Dolezal