Problems from lthchallenge2020