25.78/26.41	unsat
