69396.unisat