LIR WINTER 2019 225 SAT by Jakub Dolezal