25.62/26.37	unsat
