getters for several 3SAT features