Fixed a bug where sometimes UnSAT was not shown when calling claferModel in certain cases

Also Moved backquoted as it has yet to be fixed