25.77/26.10	unsat
