Known and verified problems (15)