[Bug 544546] satsolver is incredibly slow