25.17/26.62	unsat
