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