WMaxSatz version 2009