TSTP Solution File: CSR024+1.010 by Refute---2015