Achtel9 example in test problem