4992.unisat