0143.unisat