custom file for vercmp
preferences for sat solver