26.08/26.16	unsat
