TSTP Solution File: COM132+2 by Refute---2015