they probably used the meet in the middle technique: http://www.infoarena.ro/blog/meet-in-the-middle