loading SCIP...
13 38468 true
4 11 15 22 25 37 59 67 70 73 86 97 98