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