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