do not set fmDimacs for the small fm