Known and verified problems (13)