10082.unisat