Yep, I hated that. Spending an hour on a problem and get a solution you can't verify. It very much affected my motivation on starting on the problem knowing that I wouldn't know if I was right or wrong.