LIR WINTER 2019 303 SAT by Jakub Dolezal