loading SCIP...
12 40140 true
17 21 30 31 56 59 63 64 73 90 92 93