2.17/2.26	unsat
