TSTP Solution File: COM012+3 by Refute---2015