TSTP Solution File: SEU598^2 by SRASS---0.1