use a fixed seed for SDML test