Problem database originally used for CHMMC