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