TSTP Solution File: AGT035^1 by SRASS---0.1