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