TSTP Solution File: CSR036+5 by Refute---2015