Before revision:  The problem remains hard for monotone formulas and instances with exactly three distinct variables per clause.
After revision:  The problem remains hard for monotone formulas , as well as for instances with exactly three distinct variables per clause.