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