5939.unisat