TSTP Solution File: NUM564+3 by S-SETHEO---0.0