26.44/26.62	unsat
