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