Known and verified problems (5)