17.14/17.26	unsat
