TSTP Solution File: CSR115+17 by CARINE---0.734