Known and verified problems (2)