Fixed transposed matrix A in verification