3.17/3.26	unsat
