TSTP Solution File: SYN561-1 by SInE---0.4