TSTP Solution File: SEU867^5 by SETHEO---3.3