loading SCIP...
15 37750 true
5 6 10 12 16 38 45 53 62 73 76 81 90 97 98