TSTP Solution File: CSR070+1 by Refute---2015