TSTP Solution File: COM018+4 by Refute---2015