A95.unisat