26.42/26.78	unsat
