Handle instances with no soft clauses.
Also print "o" at the end just in case of instances with no core.