3.19/3.26	unsat
