TSTP Solution File: CSR115+65 by Refute---2015