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