loading SCIP...
10 44703 true
20 26 28 44 50 53 59 67 93 98