z6a3b.unisat