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