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