demonstration of SEresolver