63.38/66.10	unsat
