LIR WINTER 2019 229 SAT by Jakub Dolezal