loading SCIP...
13 37875 true
1 6 14 28 48 51 55 56 58 60 68 83 99