TSTP Solution File: SET801+4 by SETHEO---3.3