24.92/26.05	unsat
