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