Craig-online resolution-K

Craig-online resolution-K