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