26.09/26.17	unsat
