26.08/26.23	unsat
