06667.unisat