loading SCIP...
10 45562 true
7 14 16 37 47 81 82 87 88 96