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