66.38/67.86	unsat
