Known and verified problems (20)