13.17/13.26	unsat
