25.37/26.62	unsat
