comet2 of YACASL2 version @@VERSION@@