Update problem-writing info for SMT 2015