This matrix is unnecessary. You can just write P.T*x <= t1.