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