n67.unisat