Known and verified problems (9)