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