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