80.38/81.69	unsat
