Known and verified problems (17)