( ^ntnu ^1 / 18.