66.38/68.69	unsat
