69143.unisat