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