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