26.38/26.96	unsat
