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