TSTP Solution File: PRO019^1 by SInE---0.4