TSTP Solution File: CSR062+3 by Refute---2015