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