add extra problems, include two hard questions which cannot be solved use current solver yet.