10.17/10.26	unsat
