05494.unisat