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