106666.unisat