changed message for interactive (not implem yet)
now in structs.h
added save formula feature; added maxsat to sattools