Snif     37932   Flop     37485   Mip mip     33161