loading SCIP... 20 26875 true 4 5 7 13 18 24 26 27 29 36 43 47 51 54 57 60 61 67 71 94