How many valuations that satisfy the formula F?