TSTP Solution File: CSR065+4 by Refute---2015