qqnn.unisat