a4.unisat