loading SCIP...
13 35797 true
3 7 17 25 48 53 55 59 66 67 68 92 93