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