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