LIR WINTER 2019 304 SAT by Jakub Dolezal