Add SMT 2011-12 tests/solutions, h1 border