CAT.solve now works also for arrays of CATs