TSTP Solution File: CSR031+1 by CARINE---0.734