Satisfiability in intuitionistic fuzzy logic with realistic tautology