TSTP Solution File: SYN480+1 by SETHEO---3.3