143336.unisat