25.83/26.10	unsat
