On the expressive power of unit resolution