23.84/26.05	unsat
