TSTP Solution File: GRA061^2 by SETHEO---3.3