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