PROBCORE-538 Solutions are now pretty printed and (in the toString() method of EvalResult) tranlated via UnicodeTranslator.