69096.unisat