reactivated old vsids hack, gives best performance so far for solver