65.38/66.83	unsat
