defs.unisat