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