Problems from LTH Challenge 2017