26.12/26.17	unsat
