1.65/0.90	YES
1.65/0.90	
1.65/0.90	Proof:
1.65/0.90	This system is confluent.
1.65/0.90	By \cite{GNG13}, Theorem 9.
1.65/0.90	This system is of type 3 or smaller.
1.70/0.91	This system is deterministic.
1.70/0.91	This system is weakly left-linear.
1.70/0.91	System R transformed to optimized U(R).
1.70/0.91	This system is orthogonal.
1.70/0.91	
1.74/0.97	EOF