24.55/26.33	unsat
