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