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