TSTP Solution File: GEO203+3 by Refute---2015