24.68/26.05	unsat
