loading SCIP...
12 40141 true
1 2 7 28 33 43 44 54 58 65 88 96