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