1
Much to our surprise, even for k=1 the problem proved quite difficult.
It should come as no surprise that a condition like ai≠ bi turns up in this theorem.
2
We were surprised to find out that...... <at finding out
that......>
This is somewhat surprising since......