monad1025-1: CONTRAFold 2^3