long long int assumptions_count