Known and verified problems (18)