06269.unisat