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