Known and verified problems (6)