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