25.75/26.38	unsat
