z2a3b4.unisat