new example DEXKEV.f90, unitary matrix based on random Known EigenValues