25.91/26.18	unsat
