a1040.unisat