Problems from LTH Challenge 2019