qfd.unisat