24.32/26.69	unsat
