TSTP Solution File: SEV060^5 by SInE---0.4