Euh     47368   Flop     45623   Argh     45568   Mip mip     40975