qac.unisat