loading SCIP...
15 36015 true
4 8 22 26 30 38 48 49 54 57 59 61 79 81 83