TSTP Solution File: CSR116+14 by Refute---2015