TSTP Solution File: GEO185+2 by Refute---2015