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