9946.unisat