loading SCIP...
19 29062 true
5 12 18 28 30 38 41 48 50 53 57 58 62 70 80 84 94 95 96