24.33/26.96	unsat
